package instruction;
import structureDonnee.Invariant;


public class UpdateInstruction {
	Invariant forUpdate;
	public UpdateInstruction(Invariant inv){
		forUpdate = new Invariant();
		forUpdate.getListIne().addAll(inv.getListIne());
	}
}
